Lattice-Based Relation Algebras II
نویسندگان
چکیده
We present classes of algebras which may be viewed as weak relation algebras, where a Boolean part is replaced by a not necessarily distributive lattice. For each of the classes considered in the paper we prove a relational representation theorem.
منابع مشابه
Lattice of full soft Lie algebra
In this paper, we study the relation between the soft sets and soft Lie algebras with the lattice theory. We introduce the concepts of the lattice of soft sets, full soft sets and soft Lie algebras and next, we verify some properties of them. We prove that the lattice of the soft sets on a fixed parameter set is isomorphic to the power set of a ...
متن کاملRelational groupoids and residuated lattices
Residuated structures are important lattice-ordered algebras both for mathematics and for logics; in particular, the development of lattice-valued mathematics and related non-classical logics is based on a multitude of lattice-ordered structures that suit for many-valued reasoning under uncertainty and vagueness. Extended-order algebras, introduced in [10] and further developed in [1], give an ...
متن کاملSome Properties of Intuitionistic (T, S)-Fuzzy Filters on Lattice Implication Algebras
Combining intuitionistic fuzzy sets and filter theory,we studied interval valued intuitionistic (T, S)-fuzzy filters on lattice implication algebras. some relation properties of it are obtained, the relation between intuitionistic (T, S)-fuzzy filters and intuitionistic fuzzy set are discussed.The investigation method and content of lattice implication algebras are extended. Mathematics Subject...
متن کاملRelational Representation Theorems for Some Lattice-Based Structures
The major elements of the method of proving relational representation theorems presented in this paper are, on the one hand, Urquhart representation theorem for lattices [17] and Allwein and Dunn developments on Kripke semantics for linear logic (see [1] and also [4]), and on the other hand, a generalisation of Jonsson and Tarski ideas [9] which inspired the developments in [5], [6] and [13]. W...
متن کاملOn Heyting algebras and dual BCK-algebras
A Heyting algebra is a distributive lattice with implication and a dual $BCK$-algebra is an algebraic system having as models logical systems equipped with implication. The aim of this paper is to investigate the relation of Heyting algebras between dual $BCK$-algebras. We define notions of $i$-invariant and $m$-invariant on dual $BCK$-semilattices and prove that a Heyting semilattice is equiva...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006